<?php

define("SITEPASSWORD", "sommer");
//TODO replace by something dynamic
define("SECTOK", "12!245§$554656/54");
class FileID { 
 private static $enum = array(0 => "default", 1 => "veranstaltungen", 2 => "logout",3 => "dozenten"); 
 
 public static function toOrdinal($name) { 
  return array_search($name, self::$enum); 
 } 
 
 public static function toString($ordinal) {
 	if($ordinal < 0 || $ordinal > count(self::$enum)) return "default";
 	if(isset(self::$enum[$ordinal])) return self::$enum[$ordinal];
 	return "default";
 } 
} 


?>